package com.googlecode.kipler.satisfiability.completion.rule.individual;

import com.googlecode.kipler.container.dl.Individual;
import com.googlecode.kipler.satisfiability.completion.rule.CompletionRule;


/**
 * 
 * @author İnanç Seylan
 *
 */
public abstract class ABoxRule extends CompletionRule {

	private Individual individual;

	public Individual getIndividual() {
		return individual;
	}

	public void setIndividual(Individual individual) {
		this.individual = individual;
	}

}
